Literate Sources for Content Dictionaries: A Progress Report
نویسنده
چکیده
At OM2013, the author suggested and sketched a system that would use LTEX documents as Literate Programming sources for content dictionaries. This paper reports on the progress that has since been made with this system. One important milestone that has been reached is that valid .ocd files with CDDefinitions, FMPs, CMPs, and Examples are being generated.
منابع مشابه
Literate sources for content dictionaries
It is suggested that a LTEX document could be used as the Literate Programming source of an OpenMath content dictionary. Several approaches to literate programming are reviewed and a possible implementation is sketched.
متن کاملxmLP - a Literate Programming Tool for XML & Text
LitProg [Literate Programming] is a technique created by Donald Knuth to make computer programs readable and maintainable. This article introduces LitProg, demonstrates what a literate program looks like, and describes the LitProg tool “xmLP”, which can be used to literately develop program sources (or other control file sources) whose content is XML or text. Rendered by www.RenderX.com xmLP — ...
متن کاملThe Development of a Temporal Information Dictionary for Social Media Analytics
Dictionaries have been used to analyse text even before the emergence of social media and the use of dictionaries for sentiment analysis there. While dictionaries have been used to understand the tonality of text, so far it has not been possible to automatically detect if the tonality refers to the present, past, or future. In this research, we develop a dictionary containing time-indicating wo...
متن کاملOpenMath Content Dictionaries for SI Quantities and Units
We document the creation of a new set of OpenMath content dictionaries to support the expression of quantities and units under the International System of Units (SI). While preserving many of the concepts embodied in the original content dictionaries, these new content dictionaries provide a foundation for quantities and units that is compliant with international standards. We respond to questi...
متن کاملHealth Literacy Universal Precautions Are Still a Distant Dream: Analysis of U.S. Data on Health Literate Practices
Background Experts have recommended the adoption of health literacy universal precautions, whereby health care providers make all health information easier to understand, confirm everyone's comprehension, and reduce the difficulty of health-related tasks. The U.S. Department of Health and Human Services selected three health literate practices to track progress in the adoption of health literac...
متن کامل